1. Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
پدیدآورنده: Eerke A. Boiten, John Derrick, Graeme Smith )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2999
2. Refinement in Z and Object-Z :
پدیدآورنده: John Derrick, Eerke A. Boiten
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),Z (Computer program language)
رده :
QA76
.
73
.
Z2
D47
2014
3. Refinement in Z and Object-Z :foundations and advanced applications
پدیدآورنده: Derrick, John, John Derrick, Eerke A. Boiten
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Z )Computer program language(,، Object-oriented programming )Computer science(
رده :
QA76
.
73
.
Z2
D47
2014
4. Z-Refinement in Z and Object
پدیدآورنده: / John Derrick, Eerke A. Boiten
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
